package controlFlowGraph;

import java.util.HashSet;
import java.util.Set;

public abstract class CFGLabel {
	public enum CFGLabelType {
		NOP,
		POS,
		NEG,
		ASSIGN,
		LOAD,
		STORE
	}
	
	public Set<Expression> getInvolvedExpressions() {
		return new HashSet<Expression>();
	}
	
	public void replaceVariable(Variable v, Constant c){
		
	}
	
}
